Skip to content

Rust: Add type inference test cases for tuples.#20004

Merged
geoffw0 merged 3 commits into
github:mainfrom
geoffw0:tt
Jul 10, 2025
Merged

Rust: Add type inference test cases for tuples.#20004
geoffw0 merged 3 commits into
github:mainfrom
geoffw0:tt

Conversation

@geoffw0

@geoffw0 geoffw0 commented Jul 9, 2025

Copy link
Copy Markdown
Contributor

Add type inference test cases for tuples. We worked around this in https://github.com/github/codeql/pull/19946/files#r2192987950 . @hvitved FYI.

Copilot AI review requested due to automatic review settings July 9, 2025 16:03
@geoffw0 geoffw0 requested a review from a team as a code owner July 9, 2025 16:03
@geoffw0 geoffw0 added no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code labels Jul 9, 2025

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

hvitved
hvitved previously approved these changes Jul 9, 2025

@hvitved hvitved left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just double checking: Did you run rustfmt --edition 2024 main.rs?

@geoffw0

geoffw0 commented Jul 9, 2025

Copy link
Copy Markdown
Contributor Author

Just done.

hvitved
hvitved previously approved these changes Jul 9, 2025
@aibaars

aibaars commented Jul 10, 2025

Copy link
Copy Markdown
Contributor

FYI: I also created a similar PR #20003 . Currently type inference does not work for pattern matches (including tuples).

@geoffw0 geoffw0 merged commit ae3253b into github:main Jul 10, 2025
15 checks passed
@geoffw0

geoffw0 commented Jul 10, 2025

Copy link
Copy Markdown
Contributor Author

FYI: I also created a similar PR #20003 .

Seems like they're different enough we should have both.

@geoffw0 geoffw0 deleted the tt branch April 15, 2026 12:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants